Using Pydantic for ETL - Clean, Validate, and Transform Data with Confidence
dev.toยท11hยท
Discuss: DEV
โœ…Format Validation
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.orgยท15h
๐Ÿ”—Graph Isomorphism
Markdown2pdf โ€“ pure md to pdf transpiler implementation in Rust
github.comยท8hยท
Discuss: Hacker News
๐Ÿ“„PDF Internals
Three ways formally verified code can go wrong in practice
buttondown.comยท2h
๐Ÿ“œProof Carrying Code
How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.comยท19h
๐ŸŒŠStreaming Systems
Mastering Zod Validation Mastering Data Validation and Error Handling in TypeScript with Zod
blog.codeminer42.comยท3d
โœ…Format Validation
Modern C and initializing an array
subethasoftware.comยท1d
๐Ÿ—‚Data structures
XProc 3 Steps as XSpec Test Helper Functions
medium.comยท2h
๐Ÿ”€XSLT
APRS over LoRa with RNode | unsigned.io
unsigned.ioยท8h
๐Ÿ“ปHomebrew Protocols
LINQ and Learning to Be Declarative
nickstambaugh.devยท1dยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
CVE-2025-59397 - Open Web Analytics SQL Injection
seclists.orgยท1d
๐Ÿ›กCybersecurity
Open Lineage
usenix.orgยท15h
๐Ÿ”ŒInterface Evolution
Building your MCP server with Laravel
sevalla.comยท1dยท
Discuss: Hacker News
๐Ÿ”—Constraint Handling
Erlang-Red Walkthrough โ€“ Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.comยท5hยท
Discuss: Hacker News
๐ŸŒProtocol Synthesis
Vulnerability Management โ€“ Requirements, Scoping & Target Setting
blog.nviso.euยท1d
๐Ÿ”Capability Systems
Cactus Language โ€ข Semantics 3
inquiryintoinquiry.comยท3h
๐Ÿ”ขDenotational Semantics
Ensuring Safe and Reliable Updates with Qualys TruRiskโ„ข Manifest Version Control
blog.qualys.comยท1d
โœ…Archive Fixity
Experimenting with ACL2 and Claude Code
mikedodds.orgยท7hยท
Discuss: Hacker News
๐Ÿ‘‘Isabelle
ASP.NET Core 9 Essentials โ€ข Albert Tanure & Rafael Herik de Carvalho โ€ข GOTO 2025
youtube.comยท1d
๐ŸŒWASI
An enough week
blog.mitrichev.chยท23hยท
๐ŸงฎZ3 Solver